21. Automated and algorithmic debugging :
پدیدآورنده : Peter A Fritzson
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Computer Science.,Debugging in computer science -- Congresses.,Engineering & Applied Sciences.
22. Automated reasoning with analytic tableaux and related methods :
پدیدآورنده : Didier Galmiche, Dominique Larchey-Wendling (eds.)
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Automatic theorem proving, Congresses
رده :
QA76
.
9
.
A96
23. Automatic differentiation
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه مازندران (مازندران)
موضوع : difference equations ; Data processing ; Congresses. ; -Differential calculus ; Data processing ; Congresses. ; Differential
24. Automatic differentiation
پدیدآورنده : / Martin Beucker ... [et al.]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Differential calculus--Data processing--Congresses,Differential-difference equations--Data processing--Congresses
رده :
QA
,
304
,.
I58
,
2006
25. Automatic differentiation of algorithms :
پدیدآورنده : George Corliss, Christèle Faure, Andreas Griewank, Laurent Hascoët, Uwe Naumann, editors.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Differential calculus -- Data processing -- Congresses.,Differential calculus -- Data processing.
رده :
QA304
.
G467
9999
26. CONCUR'91 :
پدیدآورنده : J.C.M. Baeten, J.F. Groote (eds.).
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
27. CONCUR '95 :
پدیدآورنده : Insup Lee, Scott A. Smolka, eds.
کتابخانه: کتابخانه مطالعات اسلامی به زبان های اروپایی (قم)
موضوع : Parallel processing (Electronic computers),Parallel processing (Electronic computers) -- Congresses.,Parallélisme (Informatique) -- Congrès.
28. Calculus and Computer Science Theory, Proceedings of theSymposium held in Rome March 25-27, 1975. IAC-CNR Istituto per le applicazioni del calcolo "Mauro Picone" of the Consiglio Nazionale delle Ricerche
پدیدآورنده : / Edited by C. Bohm
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه تهران (طهران)
موضوع : Combinatory logic -- Congresses,Programming languages (Electronic computurs) -- Congresses
رده :
QA
905
.
L35
29. Calculus for a new century: A pump, not a filter, a national colloquium, October 28-29, 1987
پدیدآورنده : Edited by Lynn Arthur Steen for the board on mathematical sciences, and the mathematical sciences education board of the national research council
کتابخانه: کتابخانه مرکزی و مرکز اسناد دانشگاه شهید مدنی آذربایجان (أذربایجان الشرقیة)
موضوع : Calculus - Congresses
رده :
QA
,
303
,.
C175
,
1988
30. Calculus for a new century:a pump,not a filter,a national
پدیدآورنده : STEEN,LYNN ARTHUR
کتابخانه: (طهران)
موضوع : CALCULUS-CONGRESSES
رده :
QA
303
.
C175
1987
31. Calculus of Variations, homogenization and continuum mechanics: June 21-25, 1993, CIRM- Luming Marseille, France
پدیدآورنده :
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه الزهراء (س) (طهران)
موضوع : ، Calculus of Variations- Congresses,، Composite materials- Congresses,، Continuum mechanics- Congresses
رده :
QA
315
.
C35
1994
32. Calculus of variaions differential eguations: technion 1998
پدیدآورنده : / edited by alexander Ioffe, Simen Reich, Itai Shafrir
کتابخانه: المكتبة المركزية ومركز الوثائق بجامعة آراك (مرکزي)
موضوع : Calculus of variations-- congresses,Differential equations-- congresses
رده :
515
.
64
C144
33. Calculus of variations and control theory
پدیدآورنده : / edited by David L. Russell
کتابخانه: كتابخانه مركزی و مركز اسناد دانشگاه علامه طباطبایی (طهران)
موضوع :
رده :
QA315
،.
S96
34. Calculus of variations and control theory: Proceedings of a Symposium Conducted by the Mathematics Reserch Center, University of Wisconsin, September 22-24, 1975
پدیدآورنده : Symposium on Calculus of Variations and Control Theory, University of Wisconisn-Madison
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Calculus of variations,Congresses ، Control theory
رده :
QA
315
.
S95
1975
35. Calculus of variations and control theory : proceedings of a symposium conducted by the Mathematics Research Center, University of Wisconsin-Madison, September 22-24, 1975
پدیدآورنده : Symposium on Calculus of Variations and Control Theory, 5791, University of Wisconsin--Madison
کتابخانه: كتابخانه مركزی دانشگاه صنعتی شریف (طهران)
موضوع : ، Calculus of variations-- Congresses,، Control theory-- Congresses
رده :
QA
3
.
U45
no
.
36
36. Calculus of variations and control theory : proceedings of a symposium conducted by the Mathematics Research Center, University of Wisconsin-Madison, September 22-24, 1975
پدیدآورنده : edited by David L. Russell,Title
کتابخانه: كتابخانه مركزي دانشگاه بين المللي امام خميني (ره) قزوين (قزوین)
موضوع : Calculus of variations - Congresses,Control theory - Congresses
رده :
QA
.
U45
,
no
3
.
36
37. Calculus of variations and differential equations: Technion 1998
پدیدآورنده : Alexander Ioffe, Simeon Reich, Itai Shafrir, ]editors[
کتابخانه: کتابخانه مرکزی و مرکز اطلاع رسانی دانشگاه فردوسی مشهد (خراسان رضوی)
موضوع : Congresses ، Calculus of variations,Congresses ، Differential equations
رده :
QA
315
.
C227
2000
38. Calculus of variations and differential equations: technion 1998
پدیدآورنده :
کتابخانه: كتابخانه مركزي دانشگاه شهركرد (جهار محال و بختیاري)
موضوع : Calculus of variations congresses,Differential equations congresses
رده :
{
1648
},
e41ec89f115296052518ae2d22555366
39. Calculus of variations and geometric evolution problems
پدیدآورنده : / F. Bethuel ... [et al.]
کتابخانه: كتابخانه مركزي و مركز اسناد دانشگاه شهيد چمران (خوزستان)
موضوع : Calculus of variations--Congresses,Hypersurfaces--Congresses,Riemannian manifolds--Congresses
رده :
QA3
,.
L28
,
no
.,
171
